منابع مشابه
Two-dimensional models of type theory
This is the second in a series of papers detailing the author’s investigations into the intensional type theory of Martin-Löf, as described in Nordström et al. (1990). The first of these papers, Garner (2009), investigated syntactic issues relating to its dependent product types. The present paper is a contribution to its categorical semantics. Seely (1984) proposed that the correct categorical...
متن کاملinfinite dimensional garch models
مدلهای گارچ در فضاهای هیلبرت پایان نامه حاضر شامل دو بخش می باشد. در قسمت اول مدلهای اتورگرسیو تعمیم یافته مشروط به ناهمگنی واریانس در فضاهای هیلبرت را معرفی، مفاهیم ریاضی مورد نیاز در تحلیل این مدلها در دامنه زمان را مطرح کرده و آنها را مورد بررسی قرار می دهیم. بر اساس پیشرفتهایی که اخیرا در زمینه تئوری داده های تابعی و آماره های عملگری ایجاد شده است، فرآیندهایی که دارای مقادیر در فضاهای ...
15 صفحه اولMatrix Models of Two-Dimensional Gravity and Discrete Toda Theory
Recursion relations for orthogonal polynominals, arising in the study of the one-matrix model of two-dimensional gravity, are shown to be equvalent to the equations of the Todachain hierarchy supplemented by additional Virasoro constraints. This is the case without the double scaling limit. A discrete time variable to the matrix model is introduced. The discrete time dependent partition functio...
متن کاملTwo-dimensional models
Local quantum physics of systems with infinitely many interacting degrees of freedom leads to situations whose understanding often requires new physical intuition and mathematical concepts beyond that acquired in quantum mechanics and perturbative constructions in quantum field theory. In this situation twodimensional soluble models turned out to play an important role. On the one hand they ill...
متن کاملTwo-dimensional Lorentzian Models
The goal of this paper is to present rigorous mathematical formulations and results for Lorentzian models, introduced in physical papers. Lorentzian models represent two dimensional models, where instead of a two-dimensional lattice one considers an ensemble of triangulations of a cylinder, and natural probability measure (Gibbs family) on this ensemble. It appears that correlation functions of...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mathematical Structures in Computer Science
سال: 2009
ISSN: 0960-1295,1469-8072
DOI: 10.1017/s0960129509007646